Magic Pictures

Constraining Pictures with Pictures

This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...

Tla in Pictures Tla in Pictures

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...

Are Lebed's Magic Angles Truly Magic?

We report high-resolution angle-dependent measurements of the Periodic Orbit Resonance (POR) effect in (TMTSF):CI04. We observe additional harmonic resonances that were not observed in previous studies. By measuring over a broad range of frequency, field, and field orientation, we find that all of the POR evolve from the Lebed magic angles observed in dc (co = O) AMRO measurements. However, we ...

On Barycentric-Magic Graphs

Let $A$ be an abelian group. A graph $G=(V,E)$ is said to be $A$-barycentric-magic if there exists a labeling $l:E(G)longrightarrow Asetminuslbrace{0}rbrace$ such that the induced vertex set labeling $l^{+}:V(G)longrightarrow A$ defined by $l^{+}(v)=sum_{uvin E(G)}l(uv)$ is a constant map and also satisfies that $l^{+}(v)=deg(v)l(u_{v}v)$ for all $v in V$, and for some vertex $u_{v}$ adjacent t...

City Pictures